1. Basic model theory
پدیدآورنده: Kees Doets
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
D62


2. Basic model theory /
پدیدآورنده: Kees Doets
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Model theory
رده :
QA9
.
7
.
D64
1996


3. From logic to logic programming
پدیدآورنده: / Kees Doets
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
D64
1994


4. From logic to logic programming /
پدیدآورنده: Kees Doets
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming
رده :
QA76
.
63
.
D64
1994

